Generating software development tools via target architecture specification

ABSTRACT

Technologies are provided for automatically generating software development tool components and associated software development tools for a target architecture via a target architecture specification. Architecture-specific information can be compartmentalized from architecture-independent information. Accordingly, development components or tools can be easily generated for another target architecture by substituting a different target architecture specification.

COPYRIGHT AUTHORIZATION

[0001] A portion of the disclosure of this patent document contains material which is subject to copyright protection. The copyright owner has no objection to the facsimile reproduction by any one of the patent disclosure, as it appears in the Patent and Trademark Office patent files or records, but otherwise reserves all copyright rights whatsoever.

COMPUTER PROGRAM LISTING APPENDIX

[0002] A portion of the disclosure of this patent document is submitted on one compact disc and is hereby incorporated herein by reference as Computer Program Listing Appendices A, B, and C. The Compact disc contains exactly three files, created Jun. 30, 2003, which are named: “AMD.md” (319 kilobytes in size) (Appendix A), “COMMON.md” (31 kilobytes in size) (Appendix B) and AMD EXPANSIONS.md” (4 kilobytes in size) (Appendix C). An additional, identical compact disc is also included.

TECHNICAL FIELD

[0003] The technical field relates to automated generation of software development tools such as compilers, debuggers, and optimizers.

BACKGROUND

[0004] Software development can be a difficult process involving a number of interwoven technologies. For example, software developers typically write software in human-readable source code which is converted into machine-readable object code by a compiler. After compilation, the developers may use a debugger to find errors in the code. Still other software development tools, such as optimizers, can be used as desired.

[0005] A typical software development technique is shown in FIG. 1. In the technique, unfinished software 104 is processed by various software development tools 106 (e.g., an optimizer 110A or a compiler 110B) to generate executable software 122, which is suitable for execution on a target architecture 132.

[0006] Software developers typically employ the software development tools 106 in an iterative process until the software is ready for execution. Over the lifetime of the software project, further enhancements, improvements, and optimizations can be made to the executable software 122.

[0007] Such software development tools can comprise various components, such as assemblers, disassemblers, decoders, encoders, instruction selection components, and instruction legalization components. Often, such components have overlapping requirements, and the components themselves may appear in more than one development tool (e.g., in a compiler and a debugger).

[0008] Despite the widespread necessity for similar component functionality, software development tool components are traditionally developed in isolation with little or no sharing of design or implementation. Each component for each tool on each architecture has its own implementation, resulting in much redundant work and duplicated code. Additionally, there may be little uniformity across architectures, even within the same source base. Therefore, any defects detected in the code of one component are corrected for a specific implementation, but the correction is not automatically propagated to other tools or architectures implementing the same functionality.

SUMMARY

[0009] Various technologies are provided for automatically generating software development tool components and software development tools via a target architecture specification. Architecture-specific information can be compartmentalized from architecture-independent information.

[0010] For example, a target architecture specification can be used for automated generation of a plurality of software development tool components for the architecture. Functionality shared by the components can thus be implemented once rather than re-implementing.

[0011] Also for example, after functionality for a particular target architecture is implemented as desired, developers can substitute a specification for another architecture in a technique sometimes called “retargeting.” Retargeting for another architecture can be achieved easily and quickly because only the architecture-specific features need to be re-specified.

[0012] Also for example, a target architecture specification language can be used to specify the architecture-specific information in a target architecture specification. The language can facilitate a structure compact yet expressive enough to represent numerous different architectures. A common specification containing information that is of an architecture-independent nature can also be provided in addition to the target architecture specification.

[0013] By compartmentalizing architecture-specific and architecture-independent features, a system can markedly reduce the time spent developing or retargeting components and tools. Developers are thus able to spend more time enhancing the feature set of the components and associated tools; The result can be a richer, higher quality feature set for those developing software via the components and tools.

[0014] These and other aspects will become apparent from the following detailed description, which makes references to the accompanying drawings. The various technologies may be used separately and independently, or the various aspects may be used in any combinations or sub-combination.

BRIEF DESCRIPTION OF THE DRAWINGS

[0015]FIG. 1 is a block diagram showing an exemplary software development technique.

[0016]FIG. 2 is a block diagram showing automated generation of software development tools via a target architecture specification.

[0017]FIG. 3 is a block diagram showing generation of software development tools for more than one target architecture.

[0018]FIG. 4 is a block diagram showing automated software development tool generation via automated generation of software development tool components.

[0019]FIG. 5 is a block diagram showing use of frameworks for automated software development tool generation.

[0020]FIG. 6 is an exemplary target architecture specification.

[0021]FIG. 7 is an exemplary target architecture specification showing exemplary sections thereof.

[0022]FIG. 8 shows a block view of JIT, Pre-Jit, and C++ native compilers, a debugger, and optimizer for each of three architecture types.

[0023]FIG. 9 illustrates one embodiment of a system for auto-generating software development tools.

[0024]FIG. 10 illustrates an object view of one embodiment of a retargeting language.

[0025]FIG. 11 shows various types and their prefix for use in a retargeting language.

[0026]FIG. 12 shows various possible operands and their respective names for use in a retargeting language.

[0027]FIG. 13 illustrates an alternative implementation of an automated software development tool generation system.

[0028]FIG. 14 is a flowchart of one embodiment of a method for auto-generating code generation components.

[0029]FIG. 15 is a flowchart of one embodiment of a method for retargeting components.

[0030]FIG. 16 is a flowchart of one embodiment of a method for auto-generating updated components.

[0031]FIG. 17 is a flow chart of an exemplary compilation process implemented by a compiler constructed via the technologies described herein.

[0032]FIG. 18 shows conversion of a source code statement into an intermediate representation (“IR”) and conversion of the IR to native code.

[0033]FIG. 19 shows the relationship between IR, assembly text and binary translations.

[0034]FIG. 20 is a block diagram of a computer system that serves as an operating environment for automatically generating software. development tools and components.

DETAILED DESCRIPTION

[0035] Various technologies automatically generate software development tools and components from a target architecture specification. In some examples, the specification contains the architecture-specific information necessary. to produce components that are useful in numerous compilers and related programming tools such as optimizers and debuggers. In some examples, a common framework is provided into which the architecture-specific components can be integrated to generate programming tools and components.

Exemplary Target Architectures

[0036] The target architectures described herein can include any of a variety of hardware machines or virtual machines. A target architecture can include any environment for executing code. Such architectures can include the Intel® x86, AMD, IAx, and MIPS architectures, as well as other architectures, including those hereafter implemented.

[0037] The Intel® x86 architecture includes, but is not limited to, any processor based on the Intel® x86 architecture, such as the 80×86, 80×88, Intel186, Intel286, Intel386, Intel486, and Pentium processors available from Intel Corporation. The AMD architecture includes, but is not limited to, the AMD64 and AMD32 architectures available from Advanced Micro Devices (AMD), Inc. The IAx architecture includes, but is not limited to, the IA32 and IA64 architectures available from Intel Corporation. The MIPS architecture includes, but is not limited to, the MIPS64™ and MIPS32™ architectures available from MIPS Technologies Inc.

Exemplary Software Development Tools

[0038] The software development tools described herein can include any of a variety of tools useful for developing software. Such tools may include compilers, debuggers, simulators, analysis tools, and optimizers.

Exemplary Software Development Tool Components

[0039] The software development tool components described herein can include computer-executable instructions, instructions compilable to computer-executable instructions, or data structures (e.g., tables) that can be integrated for use in or construction of any of the software development tools described herein.

[0040] Exemplary components include assembly components (e.g., for assembling instructions from assembly text), disassembly components (e.g., for listing an instruction as assembly text), encoding components (e.g., for encoding an instruction as binary), decoding components (e.g., for decoding instructions from binary), opcode selection components (e.g., for selecting an opcode), instruction legalization components (e.g., for enforcing instruction limitations), and various machine-specific tables (e.g., opcode, legalization, and register tables). Such components include any components also sometimes called “code generation components” because they themselves generate executable code or are used in various processes that ultimately generate executable code.

[0041] The components can be targeted for a particular target architecture. Any or all such software development tool components for one or more target architectures can be automatically generated via any of the technologies described herein. For example, automated generation (e.g., by software) of such components can be achieved via the frameworks and target architecture specifications described herein.

Exemplary Automated Software Development Tool Generation

[0042]FIG. 2 is a block diagram showing automated generation of software development tools. In the example a target architecture specification 202 is supplied to an automated software development tool generator 212, which generates one or more software development tools 222 (e.g., the software development tools 230A, 230B, and 230N).

[0043] Automation can be achieved in a variety of ways. For example, the automated software development tool generator 212 can generate the tools 222 directly, generate source code that can be compiled by a compiler to generate the tools 222, or take some other approach.

Exemplary Automated Software Development Tool Generation

[0044]FIG. 3 is a block diagram showing generation of software development tools for more than one target architecture. In the example, a first target architecture specification 202A for a first target architecture is processed by the automated software development tool generator 212 to generate software development tools 222A for the first target architecture.

[0045] A second target architecture specification 202B for a second target architecture different from the first is processed by the same automated software development tool generator 212 to generate software development tools 222B for the second target architecture.

[0046] Such an arrangement is sometimes called “retargeting” because the generator 212 can be designed to work in concert with the specification 202A for a first target architecture. Upon reaching desired results via the first specification 202, creating development tools for a second target architecture merely involves supplying a different specification 202B. In fact, tools can be generated for any number of target architectures by supplying an appropriate specification to the automated software development tool generator 212.

[0047] If a software defect (e.g., bug) is detected in a particular development tool type across target architectures (e.g., for all target architectures), the automated software development tool generator or a part thereof (e.g., the frameworks described below) are suspect. Correcting the software defect in the appropriate framework can correct the software defect for the tool across related architectures.

[0048] Similarly, if developers of the automated software development tool generator 212 redesign it to incorporate enhanced functionality into the software development tools, the functionality can be easily propagated to other target architectures via the arrangement shown.

Exemplary Automated Software Development Tool Generation via Software Development Tool Components

[0049]FIG. 4 is a block diagram showing automated software development tool generation via automated generation of software development tool components. In the example, a target architecture specification 402 is supplied to an automated software development tool component generator 412 (e.g., a subsystem of the automated software development tool generator 212 of FIG. 3), which generates various software development tool components 422 (e.g., component 422A, 422B, and 422N).

[0050] From the components 422, one or more software development tools 442A, 442B, and 442N are generated. In the example, functionality of the tools 442 overlaps, so some of the components 422 are shared (e.g., utilized in) by more than one tool 442. One or more of the software development tool components 422 can be utilized in one or more of the one software development tools 442.

[0051] When situations involving overlapping functionality are involved, software defects can be minimized because the functionality need not be developed more than once. Further, the developers of the automated software development tool component generator 412 can save time, rather than re-developing the overlapping functionality. The developers thus has extra time by which to further extend the functionality of the resulting tools 442, resulting in a richer, higher-quality feature set for the tools 442.

Exemplary Automated Software Development Tool Generation via Software Development Tool Components

[0052]FIG. 5 is a block diagram showing use of frameworks for automated software development tool generation. In the example, one or more software development tool components 522 are integrated with one or more frameworks 532 to generate one or more development tools 552.

[0053] One or more frameworks 532 can be associated with a particular software development tool component. Alternatively, or in addition, one or more of the frameworks can be assembled to create one or more software development tools. A software defect discovered in a development tool type across target architectures (e.g., in two target architectures for the same tool) points to a defect in an associated framework. Correcting the framework may correct the defect across architectures.

Exemplary Target Architecture Specification

[0054]FIG. 6 is an exemplary target architecture specification. In the example, the specification 602 includes a plurality of target architecture specific definitions for a single architecture. In any of the examples showing a target architecture specification, a supplemental specification can be supplied. For example, a supplemental specification can include definitions for elements common between architectures (e.g., shown in some of the examples as a file called “common.md”).

[0055] The target architecture specification can take the form of computer-readable instructions stored in one or more computer-readable media (e.g., a file stored on a disk). The specification can consolidate description of architecture-specific features and be sufficient to generate software development tools for the target architecture when processed by the automated software development tool generator. The definitions of architecture-specific features in the specification can be sufficient to inform constructions of any of a plurality of software development components so that they function properly for the target architecture.

[0056] Architecture-specific logic can be compartmentalized (e.g., in the target architecture specification) from non-architecture-specific logic (e.g., in a framework). Such compartmentalization can result in a more efficient and higher-quality software development tool development process.

[0057] An exemplary target architecture specification in an exemplary target architecture specification language is shown in the file “AMD.md” incorporated herein from the attached compact disc. The file contents are shown in Computer Program Listing Appendix A attached hereto. The target architecture specification is directed towards the AMD architecture.

[0058] An exemplary supplemental specification including definitions for elements common between architectures is shown in the file “COMMON.md” incorporated herein from the attached compact disc. The file contents are shown in Computer Program Listing Appendix B attached hereto.

Exemplary Target Architecture Specification with Exemplary Sections

[0059]FIG. 7 is an exemplary target architecture specification showing exemplary sections thereof. In the example, the specification 702 is written in a specification language that accommodates one or more of the following sections: configuration variables, primitive types, conditions codes, registers, operands, assembly syntax, binary encoding, and instructions.

[0060] One or more other sections are possible, including sections for sub-instructions and properties. The language of the specification 702 is sometimes called a “meta-grammar” because it can be used to generate an appropriate grammar, from which software development tools can be generated (e.g., by grammar processing software).

Generating Tools for Plural Target Architectures

[0061] Software development tool components, or software development tools created using the technologies described herein can be quickly and easily retargeted for another architecture. For instance, FIG. 8 shows a block view of JIT, Pre-Jit, and Microsoft® Visual C++® native compilers, a debugger, and optimizer for each of three architecture types created using a system such as that shown in FIG. 4. Because the various compilers and tools for the architectures are built from common frameworks and target architecture specifications, the architecture-specific code for the software development tool supplied by the specification is compartmentalized from the non-architecture specific code that can be supplied either by the common framework or custom code. Therefore, components for the architectures can be the same in differing types of software development tools because they are created from the same specification.

[0062] Software development tools can be easily retargeted between different architectures because only the architecture-specific code need be changed, and bugs found in either the architecture specific or non-architecture specific code can be fixed over a large scale.

[0063] For example, assume a developer wishes to retarget the JIT compiler 800 for the Intel® x86 architecture such that it will function on the AMD or MIPS architectures. The developer need only write an appropriate target architecture specification for the AMD or MIPS architecture. The specification is provided to an automated software development tool generator (e.g., the generator 412, or “retargeting tool”), and the appropriate AMD or MIPS components for the JIT compiler are produced. These architecture-specific components are then integrated into the same or similar common framework used to create the JIT compiler 800 for the Intel® x86 architecture. The combined code is then compiled to create JIT compiler 802 for the AMD architecture, or JIT compiler 804 for the MIPS architecture.

[0064] Next, assume a developer finds a software defect in the optimizer 806 constructed using a specification written for the Intel® x86 architecture. If the software defect is found in the non-architecture specific code, the code is most likely part of the common framework. Therefore, the software defect may appear across the tools shown in FIG. 8.

[0065] Once a fix is developed in the common framework for the software defect, correction for the pictured fifteen tools (three compilers, two tools, for each of three different architectures) can be simultaneously initiated by implementing the fix in one source code (the common framework). Updated, corrected versions of the fifteen tools can be created by simply recompiling the specification for each architecture with the updated framework.

[0066] Similarly, if the software defect is found in the architecture-specific code of optimizer 806 for the Intel® x86 architecture, the software defect is most likely in the specification written for the Intel® x86 architecture. Again, fixing the software defect across the tools for the Intel® x86 architecture only requires correcting one source code (the Intel® x86 specification) and recompiling the updated specification with the common framework.

Exemplary System for Automated Generation of Software Development Tools

[0067]FIG. 9 illustrates one embodiment of a system 900 for auto-generating software development tools and includes a software development tool component generator (sometimes called a “retargeting tool”). The system 900 can be used to generate any or all of the software development tool components described herein.

[0068] The target architecture specification 902 contains information describing the intermediate representation, assembly and encoding forms of instruction and registers for a specific target architecture (e.g., the Intel® x86 architecture). Likewise, another specification 904 can contain similar information for another target architecture (e.g., the AMD architecture).

[0069] The specification 902 is supplied to a software development tool component generator 908 that processes the specification in order to create component data 910-914, such as code fragments representing legalization tables, machine registers, instruction opcodes and their legal forms, etc., specific to one or more components useful for constructing software development tools.

[0070] The component data is then integrated into sections 916-920 of a common framework related to the specific component. For instance, component data 910 could represent code and/or tables containing the necessary data for implementing an encoder component on an Intel® x86 architecture. The component data 910 is integrated into a framework section 916 that generically represents the non-architecture specific data necessary for implementing an encoder. Once the component data 910-914 are integrated properly into sections 916-920 of the common framework, the integrated data is compiled in appropriate compiler(s) 922 to construct a software development tool 924 for a particular target architecture.

[0071] Alternatively, or in addition, a common architecture specification 906 can be supplied in order to provide the retargeting tool with information regarding the common framework. The common specification 906 can be processed. by the retargeting tool 908 along with an architecture specification 902/904 in order to produce the components for constructing the target tool 924.

[0072] Alternatively, or in addition, a developer can add custom code to the process in order to customize the target compiler or tool 924. The custom code 926 is integrated into the framework 916-920 along with the component data 910-916 as shown in FIG. 9 and provided to the compiler(s) 922 in order to create the target tool 924.

Exemplary Custom Code

[0073] The language in which the target architecture specification is written can accommodate a wide variety of target architectures. In some cases, however, it may be desirable to include custom code beyond what the language can or should represent.

[0074] For example, in some cases, it may be desirable to include certain conventions that go beyond the architecture itself. For instance, a particular microprocessor (e.g., Intel® x86) may be implemented slightly differently for different operating systems. Certain conventions, such as how to pass function parameters on the stack, may be best represented in custom code rather than being incorporated in the target architecture specification.

[0075] In any of the examples described herein, the target architecture specification can be supplemented with custom code to be included in the resulting software development tool(s).

Exemplary Language for Target Architecture Specification

[0076] The following describes an exemplary language (sometimes called a “retargeting language”) in which target architecture specifications can be written to employ any of the technologies described herein.

[0077] Symbols

[0078] Symbol names in the retargeting language can begin with an alphabetic or underscore (_) character. The rest of the characters may be alphanumeric or underscore.

[0079] Numeric Literals

[0080] Most numbers in the retargeting language can be explicitly based. The exceptions may be bit-sizes (for types, ranges and bit-size constraints) which can be represented in decimal. Three number bases are permitted in the retargeting language: binary, decimal, and hexadecimal. Numbers can be specified as a numeric value and a base suffix. For example: 1010 b, 10 d, and 0Ah specify the same value (10 decimal). Note that hexadecimal numbers beginning with A-F can be prefixed by 0 to disambiguate them from a symbol name.

[0081] Types

[0082] The retargeting language types can include (e.g., consist of) a base type and bit size. The bit size may be assumed decimal and may not be suffixed.

[0083] Operands

[0084] Operands can be specified with a kind and type, though in certain unambiguous contexts the type may optionally be omitted. Some kinds can be built-in and others, such as registers and register files, can be declared in the specification.

[0085] Keywords

[0086] A number of keywords can be reserved such that the retargeting tool can effectively process the specification without error. Symbolic identifiers can be restrained from having the same name as keywords as well. For example, the following words may be reserved for use by the retargeting language: action, asm, bitfield, condcode, configuration, constraints, decode, default, description, encode, enum, expansion, extern, form, get, immediateclass, instr, inverted, hir, lir, macro, memoryclass, meta, NULL, prefix, property, pseudo, put, registerclass, registerfile, remarks, required, reversed, sched, signed, subinstr, subreg, target, type, unsigned.

[0087] Object View

[0088] An object view of the retargeting language is shown in FIG. 10. The figure illustrates the relationships between various constructs of the grammar. The retargeting language constructs can include (e.g., consist of) a declaration along with the legal forms of that construct. Form specifications can range from a single register to a set of constraining conditions. Additionally, constructs can have multiple forms, though there may be constraints as to how the forms may be used in conjunction with each other.

[0089] Form Fields

[0090] Object descriptions in the retargeting language can contain a list of legal forms for that object. Though the object forms themselves may be generally disjoint, many of the fields can be shared. The next few subsections describe the fields and where they may be applied. For purpose of example, fields are specified as the field keyword followed by the field data, if any, and terminated with a semi-colon:

[0091] asm “nop”;

[0092] This fragment shows the assembly text for a nop instruction.

[0093] Assembly Text

[0094] The asm keyword can declare an assembly language text action for an object. asm operands may be quoted literal text, a specific register reference, or a form reference. The assembly action can be used both for assembling and listing. To make an object unavailable to the assembler and lister, a symbol can be used in conjunction with the keyword asm, such as an exclamation point. For instance, !asm would make the object unavailable to the assembler and lister.

[0095] Binary Encoding

[0096] The encode keyword can declare the binary encoding action for an object. encode operands may be a literal value, a specific register reference, or a form reference. The encode action can be used for both decoding and encoding. To make an object unavailable to the decoder and encoder, a symbol can be used in conjunction with the keyword encode, such as an exclamation point. For instance, !encode would make the object unavailable to the decoder and encoder.

[0097] Configuration Variables

[0098] The configuration keyword can be used to declare the configuration variables or define their values dependent on the location. When outside a target block, such as in common.md, configuration declares the configuration variables and their types: configuration {   “Phx::BitSize” RegIntBitSize;

[0099] This fragment declares a variable called RegIntBitSize of type Phx::BitSize. The quotation marks can be useful in parsing complex type names. A simple type name may not need to be quoted.

[0100] Within a target block, configuration can define the variable values for that target: target x86 {   configuration   {     RegIntBitSize = 32d;

[0101] This fragment defines RegIntBitSize as 32 (decimal) for the Intel® x86 target.

[0102] Primitive Types

[0103]FIG. 11 shows various types and their prefix. Notice that there are three integer types: x, i, and u. i and u are explicitly signed and unsigned integers. These can be used where a distinction must be made. x is an “untyped” integer and indicates that either signed or unsigned values are fine; the distinction is not important. ƒ is a float. The following fragment is an example of declaring the signed integer and void types: type “i” : Int {  form “i” ; }  type “void” : Void {  form “” ; }

[0104] The first “i” is the framework dump display name, and the second is the retargeting language name. Note that void has no language name; it is not a valid type in the specifications. “Int” and “Void” are the framework-source language types.

[0105] Condition Codes

[0106] Conditions code declarations specify the condition code name, and its inverted, reversed, signed and unsigned variants. Not all of these attributes need be valid for a given condition code. Any left off can be considered illegal.

[0107] condcode EQ {  inverted NE;  reversed EQ;  signed EQ;  unsigned EQ; } condcode LT {  inverted GE;  reversed GT;  signed LT;  unsigned ULT; }

[0108] This fragment declares the equal and less-than condition codes.

[0109] Attributes

[0110] The bitfield and enum keywords can declare attributes of instruction opcodes or registers. bitfield differs from enum in that the enumerate values are powers of 2 rather than linearly increasing. Enums can have a 0 value of “_Illegal” automatically injected while bitfields receive “None” for 0.

[0111] Attributes declared in the retargeting language can be emitted as enumerations to the generated files for inclusion in the infrastructure. The enumeration can sometimes be defined outside the generated files. In such cases, extern can be placed before the enum or bitfield keyword.

[0112] There may be cases where it would be desirable to ensure an attribute is always specified. The required keyword will tell the retargeting tool to enforce the attribute's presence. The following fragment declares a register attribute called

[0113] Attribute: bitfield Reg.Attribute {  DontAlloc,  ProfileInst,  PostLinkInst }

[0114] It can be usable in register declarations

[0115] Registers

[0116] The registerfile keyword can declare a homogeneous set of registers. The following fragment declares a register file referred to as “gr” in the specification: registerfile gr {  type x64;  form R[0..63]  {   encode $@.w7 ;  } }

[0117] The register file has 64 registers, R0 through R63. The retargeting language can iterate over the range to generate the individual registers. The symbols $@ are replaced by the iteration value.

[0118] The above example may not apply to all platforms because many don't have a completely homogenous register file. On IA64, for example, R0 is hardwired to have a value of zero. As such, a register allocator shouldn't allocate it. Similarly, R12 is the stack pointer and should not be allocated. Therefore, a DontAlloc attribute can be declared. The Phoenix infrastructure register allocators will not allocate registers marked as such: registerfile gr {  type x64;  form R0  {   encode 0.w7 ;    Attribute DontAlloc ;  }   form R[1..11]   {    encode $@.w7 ;   }  form SP  {   encode 12.w7 ;    Attribute DontAlloc ; }

[0119] Sometimes a register file is declared for infrastructure convenience, but has no registers that should be allocated. In that case, the DontAlloc attribute can be specified for the entire register file as a whole: register drf   {   type x7 ;   Attribute DontAlloc ;   form dummyReg   {     !asm ;     !encode ;   } }

[0120] The dummyReg register may be for internal use only. In other words, it may not be available to the assembler or decoder and should not be present during the encoding and listing phases. Accordingly, !asm and !encode can be used in the dummyReg register form. In certain embodiments, the asm field can be made to default to the register form name. Therefore, register forms can (e.g. always) have an encode field. In other words, register forms have a real encode field or the !encode declaration.

[0121] The registerclass keyword can be used to “subclass” a registerfile with additional properties.

[0122] Memory

[0123] The memoryclass keyword can declare a set of memory forms. Memory forms often require more than one component to describe them. The property keyword can therefore be used to declare these components. A property declaration describes how to access the property with get and put source fragments, as well as the valid forms of that property. An example of declaring a set of memory forms may appear similar to the following example: memoryclass mem {  type x8, x16, x32 ;  property base  {   get { base = mem->Base; }   put { mem->Base = base; }   form gr.x64 ;  }  form default  {   asm “[“ mem.base ”]” ;  } }

[0124] Operands

[0125] Operands can be specified with a kind and type, though in certain unambiguous contexts the type may optionally be omitted. The kinds can be built-in, or alternatively, other kinds such as registers and register files can be declared in the specification. FIG. 12 shows various possible operands and their respective names as explained further below.

[0126] Immediate Operands

[0127] An immediate operand is a numeric literal that appears in assembly and encoding actions. Numeric literals may have base types of i, s, u, or f. Immediate operands may be “subclassed” via the immediateclass keyword.

[0128] Literal Values

[0129] The literal value operand kind is provided as a convenience to the writers of the architecture specifications. It is used by the retargeting tool when processing sub-instructions as a means of reducing the number of redundant rules (or extremely similar rules—differing solely by numeric literal constants.) Literal value operands may only appear as formal parameters in subinstr declarations. Any references to a subinstr with literal value formals should have numeric literals as the actual parameters.

[0130] Memory Operands

[0131] Memory operands specify any type of memory reference that the machine supports. The property keyword can be used to declare the memory reference components valid for the machine. Memory operands will not appear without a property specification in asm and encode actions.

[0132] Register and Register File Operands

[0133] Register and register file operands can be specified according to the names in the register declaration sections. Register operands indicate that an operand must be a specific register. Register file operands indicate that an operand may be any register from the register file.

[0134] Assembly and Encoding Actions

[0135] Assembly and encoding forms can be tied to the intermediate representation (“IR”) with action lists. An action list comprises of one or more actions. Many action kinds are common to asm and encode, however, the literal actions may different due to the context.

[0136] Operand Action

[0137] An operand action is simply an operand specification. When in an asm action list, the appropriate textual representation of the operand is selected. For encode action lists, the encoding representation is used. On the encode action list, operands may be split into several fields via a bit-range specification. As an example, splitting imm2.i32 (32-bit immediate) into two 16-bit fields would be done as imm2.i32[0..15] and imm2.i32[16..31]. It is worthy, note that the range numbers need not suffixed. They are implicitly decimal. [high..low] and [low..high] are both valid and equivalent specifications.

[0138] Literal Constant Action

[0139] For asm, a quoted text literal can be permitted. For encode, a numeric literal constant may be specified. As above, the encoding value may be split into bit-fields with a bit-range specification.

[0140] Subinstr Reference Action

[0141] A subinstr reference is similar to a function call in most languages. The subinstr name is followed by a parameter list. Logically, the asm/encode action lists of the subinstr are inserted inline in place of the subinstr reference.

[0142] Register Declarations

[0143] Registers are grouped by register files.

[0144] Register Files

[0145] A register file section can describe a group of registers that are generally interchangeable. In other words, if register A can be used in the same contexts as register B, then A and B belong to the same register file. The register file declaration can include a list of types valid for the registers belonging to that file. These types are used primarily by the register allocation phases and the retargeting tool itself. registerfile prefix {   type primary-type ;   constraint type-list ;   form reg { reg-info-list }   ... }

[0146] prefix is an alphabetic prefix that will be used to specify the register file elsewhere in the grammar.

[0147] type is the primary type of the register file.

[0148] type-list is a comma-delimited list of types valid for this register file (in addition to the primary type.)

[0149] reg is the register name.

[0150] reg-info-list is a list of one or more semi-colon delimited info fields describing the register.

[0151] asm “text” specifies the assembly language text for this register. This field can default to the reg form value.

[0152] encode value specifies an encoding value for the register.

[0153] attribute register-attribute-list specifies a comma delimited list of as defined by register bitfield and enum attribute declarations.

[0154] subreg parentReg[s..e] specifies that this register does not exist on its own, but rather is a part of another register. s and e specify the starting/ending bits (from low to high) of this subregister. The subregister inherits attribute from the parent if they are not explicit in the form.

[0155] To specify a range of numbered registers that are similar, range syntax [start..end] can be used. The range is specified after the reg name (e.g. r[0..7].) Wherever the number would normally appear, the $@ symbol is used. Continuing the previous example, encode $@ would generate encodings of 0 d, 1 d, . . . 7 d for registers named r0, r1, . . . r7 respectively.

[0156] Scheduling Structure Declaration

[0157] The sched section can declare the scheduling structure fields. The section format is similar to a C++ structure declaration and follows: sched {   field-type field-name ;   ... } field-type is a C++ language variable type. field-name is a C++ language variable name.

[0158] Property Declarations

[0159] Instructions and certain operand kinds can be extended through properties. A property declaration can name the property, the context where it is valid, the get and put actions, and a list of valid forms: property [context.]name   {     get { action }     put { action }     form numeric-value { form-info }     form “named-constant”   { form-info }     form imm.type ;     form reg ;     form regfile ; }

[0160] context is an optional context which may be instr for instruction properties.

[0161] For other properties, context may be inferred from the surrounding declaration.

[0162] name is the name for the property. Properties can be referenced as context.name or name

[0163] action is source code to perform the appropriate action. Within the action string, name can be assigned to ‘for get’ actions and assigned from ‘for put’ actions.

[0164] Similarly, context should be referenced as the “object” that is operated on.

[0165] numeric-value is a numeric literal specified as noted earlier. This form can be selected when the property value equals the numeric value. If any form has a numeric-value selector, other forms should also.

[0166] “named-constant” is a quoted text string. The quotes may be required for syntactic purposes only. The string can be thought of as a named source code constant (e.g. enumeration value) and will appear in the generated code without the quotes. This form can be selected when the property value equals the named constant. If any form has a named-constant selector, other forms should also.

[0167] reg can be any valid register name. The form can be selected when the property value is the specified register. reg selector forms may be used in conjunction with other reg selectors from the same register file as well as regfile selector for the containing register file.

[0168] regfile can be any declared register file prefix. The form can be selected when the property value is any register from the specified register file. regfile selector may be used with reg selectors from the specified register file.

[0169] imm can be an immediate value specified, as noted early. The form should be the only form allowed for the property and specifies a sized immediate value is legal for the property.

[0170] form-info can specify the asm and encode actions associated with the form.

[0171] These can be optional for reg, regfile and imm forms if default actions for these selectors already exist either explicitly in the machine description (reg) or implicitly in the retargeting language (imm.).

[0172] Sub-instruction Declarations

[0173] Subinstrs are a means of reducing redundancy in the specification by factoring forms common to several instructions. They represent parts of instructions and need not accomplish any function on their own. subinstr name ( param-list ) {  form constraint-list { info-list }  form default { info-list } }

[0174] name can be the name for the subinstr.

[0175] param-list can be a list of parameters to the rule specified as operands.

[0176] constraint-list can be a list of constraints that must be satisfied for this form to be selected. A constraint is specified as object(value). Note the use of object in place of param. This is to reflect that a property reference may appear. There are five categories of constraint determined by value: NULL, reg, !reg, *, numeric literal, and |bit-size|. The first three categories are for use with registers (register parameters and properties that are registers). NULL specifies that the object must not be present. reg specifies that the object must be a certain register. !reg specifies that the object may not be a certain register. * indicates that the object must be present, but can be any register. numeric literal specifies that the object must have an exact value. |bit-size| indicates that the object must be encodable with bit-size bits. Note that numeric literal is a number plus a base suffix whereas bit-size has no suffix since it is a size in bits.

[0177] info-list contains asm and encode action lists.

[0178] Forms, if they will be evaluated in the order they are specified in the specification file, should be ordered from most constraining to least.

[0179] Instruction Declarations

[0180] Each machine instruction can be described by an instr section which contains one or more legal instruction forms. The instr section format is as follows: instr opcode : IrKind {   common-info-list   form opnd-list = opcode opnd-list   {     form-info-list   }   ... }

[0181] opcode can be the machine dependent opcode, may have an exception to the general symbol name conventions described previously.

[0182] common-info-list can be a list of one or more semi-colon delimited info fields describing the instruction.

[0183] attribute instr-attribute-list specifies a comma delimited list of attributes as defined by instruction opcode bitfield and enum attribute declarations.

[0184] sched sched-field-values

[0185] sched-field-values is a list of one-or-more comma delimited scheduling structure initializations of the form field(value) where field is a field declared in the sched section.

[0186] form-info-list is similar to common-instr-info-list with two additional info types:

[0187] asm action-list specifies the assembly syntax.

[0188] encode action-list specifies an encoding rule for the instruction form.

[0189] encode pseudo form pseudo-form specifies another instruction's form to use when encoding this instruction form.

[0190] The form declaration specifies a legal IR form of the instruction.

[0191] opnd-list specifies zero or more comma delimited instruction operands. There are three operand forms: bindable, naked bindable and naked non-bindable.

[0192] Bindable operands are the normal case. These are required operands that receive the primary result(s) and are used to perform the primary function of an opcode, e.g. the first dest and first two sources of an add instruction. They are specified as opnd-kind number.opnd-type. Bindable operands, for purposes of this embodiment, must be numbered linearly starting from 1.

[0193] Naked bindable operands represent secondary effects of instructions, e.g. the Intel® x86 mul instruction sets EAX to the lower 32-bits and EDX to the upper 32-bits. It is used for both 32-bit and 64-bit multiplies. Since a 32-bit multiply doesn't care about the upper 32-bits, a second dest will not be present. In this case, EDX represents a naked bindable operand. These operands are specified as physical-register.opnd-type. Examples: EDX.i32, R1.i64. Indirections may also be specified as +[physical register].opnd-type. For example: +[ESP].i32.

[0194] Naked operands represent instruction side-effects that are not generally used other than modeling the machine state. E.g. the Intel® x86 push instruction affects the ESP register. These operands are specified as—physical-register.opnd-type. Examples: -ESP.i32, -B0.i64. Indirections may also be specified as —[physical register].opnd-type. For example: -[ESP].i32.

[0195] Expansions

[0196] An expansion is similar to what is commonly known as an intrinsic function. High-level programming languages often include intrinsic, or built-in, functions that programmers use for common or repetitive functionality. Rather than having to explicitly define or call a library to implement the functionality, it is already known and implemented at compile-time.

[0197] Likewise, the retargeting language can include expansions to allow an author of a specification to explicitly define a declaration, function, code fragment, etc. and then refer to the expansion whenever its functionality is desired in the specification. The retargeting tool will then treat the reference as another instance of the explicitly defined expansion.

[0198] Expansion Declarations

[0199] expansion form opnd-list=opcode opnd-list {   instr   instr   instr   ... }

[0200] instr can be any valid instruction form as described earlier.

[0201] An exemplary set of expansions is shown in the file “AMD EXPANSIONS.md” incorporated herein from the attached compact disc. The file contents are shown in Computer Program Listing Appendix C attached hereto. The exemplary set of expansions is directed towards the AMD architecture.

Exemplary Alternative Implementation of Automated Software Development Tool Generation

[0202] Another embodiment of a system for automated software development tool generation is illustrated in FIG. 13. In the example, a target architecture specification 1300 with architecture specific data is supplied to a retargeting tool 1302. Alternatively, both the specification 1300, and a second specification 1304 with non-architecture specific data, can be supplied to the retargeting tool 1302.

[0203] The retargeting tool 1302 is software that parses the specification(s) 1300/1304 provided for data relating to one or more code generation components. Based upon the data in the specification(s) 1300/1304, the retargeting tool creates one or more components. Each component provides data creating code generation components.

[0204] For instance, in the embodiment of FIG. 13, a tokenization grammar 1306 (e.g., in lex format), and a parser grammar 1308 (e.g., in yacc format), and series of C source and header files 1310 are produced.

[0205] In an example using lex, the tokenization grammar 1306 is provided to a lex compiler 1312 for creating the source code and header files 1314 necessary to produce a lexical analysis component of a compiler. Lex is a language designed specifically for creating compiler lexical analysis components.

[0206] In an example using yacc, the parser grammar 1308 is provided to a yacc compiler 1316 for creating the source code and header files 1314 necessary to produce a syntactical analysis component of a compiler. Yacc provides a general tool specifying the structures of source code input, together with code to be invoked as each such structure is recognized.

[0207] The source code ultimately responsible for producing the components necessary for building the software development tool is produced by integrating the series of C source and header files 1310/1314 produced by the retargeting tool with the common framework 1318. For instance, lexical and syntactical analysis components are produced by compiling the integration of the series of C source and header files 1314 with common framework source code and the header files 1318. Likewise, other software development tool components can be produced by compiling the integration of the series of C source and header files 1310 with common framework source code and header files 1318.

[0208] Thus, the source code 1320 representing an integration of C source and header files 1310/1314 and common framework source code and header files 1318 is provided to compiler 1322 to produce the compiler 1324 targeted for the architecture described in specification 1300,that conforms to the common framework.

Exemplary Legalization Tables

[0209] As described above, software development tool components include legalization tables. Such tables include information sufficient to identify the specific: form of a target instruction. The legalization framework can provide a form index that is used by the instruction selection, instruction legalization, encoding, and listing components.

Methods for Auto-Generating Code Generation Components

[0210]FIG. 14 is a flowchart of an embodiment of a method implemented in software for auto-generating code generation components suitable for use with the technologies described herein. A target architecture specification is processed at 1402 to create a number of components represented by source code. The source components are then integrated into a framework represented by source code at 1404. If desired, custom code can be included as well at block 1406. The integrated source code is then compiled at block 1408 to create a software development tool from the code generation components.

Developer Methods for Retargeting and Updating Code Generation Components

[0211]FIG. 15 is a flowchart of one embodiment of a method for retargeting code generation components suitable for use with the system, tool, and language described herein. A first target software development tool is created by writing a specification at block 1500 for a particular architecture. The specification is then processed to create a number of components represented by source code at block 1502. The source components are then integrated into a framework represented by source code at block 1504.

[0212] If desired, custom code can be included as well at block 1506. The integrated source code is then compiled at block 1508 to create a target software development tool from the code generation components. In order to retarget the development tool to a different architecture, an alternate specification is written at block 1510 and processed similar to the first specification starting at block 1502 to create a new software development tool targeted to the alternate architecture.

[0213]FIG. 16 is a flowchart of one embodiment of a method for auto-generating updated code generation components suitable for use with the system, tool, and language described herein. In order to create a target software development tool, a specification is written at block 1600 for a particular architecture. The specification is then processed to create a number of components represented by source code at block 1602. The source components are then integrated into a framework represented by source code at block 1604. If desired, custom code can be included as well at block 1606. The integrated source code is then compiled at block 1608 to create a target software development tool from the code generation components.

[0214] Assume for purposes of this embodiment that a bug is found in the target software development tool. At 1610, it is determined whether the bug is caused by code dependent on the specification, framework, or custom code. If the bug is caused by code dependent on the custom code, the custom code is fixed at process block 1612 in order to alleviate the bug.

[0215] If the bug is caused by code dependent on the specification, the specification is fixed at process block 1614 in order to alleviate the bug. If the bug is caused by code dependent on the common framework, the common framework is fixed at process block 1616 in order to alleviate the bug.

[0216] Once the source code responsible for the bug is fixed, any tools containing faulty source code are identified at block 1618. The tools identified, including the original target software development tool, is then re-generated by processing blocks 1602 through 1608 using the fixed code section.

Exemplary Compilation Process

[0217]FIG. 17 shows an exemplary compilation process implemented by software (e.g., a compiler) generated via the described technologies. The compilation process begins with source code written by the programmer in a high-level programming language (e.g. C/C++, Pascal, Fortran, etc.). The source code is provided to a preprocessor at 1700 where usually a symbol within the high-level programming language directs the preprocessor to include files, perform conditional compilation, or perform macro expansion. The resulting code then undergoes lexical analysis at 1702 to parse code into a stream of tokens. Syntax analysis is then performed at 1704 by the compiler so as to assemble: a syntax tree based on the overall structure and flow of the program. Next, the syntax tree is semantically analyzed at 1706 to produce an intermediate representation (“IR”). The IR is a lowered language wherein much of the context of the source code has been lost but allows the software to be more easily optimized. If optimization is desired, the intermediate representation will be optimized at 1708, and finally compiled into executable object code at 1710.

[0218] Thus, the compilation process involves transforming instructions from one level or representation to another. For instance, FIG. 18 shows the.conversion of a source code statement into an IR, as well as the conversion of the IR to native code (machine-dependent). Source code statement 1800 can be written in a number of high-level programming languages. These languages are designed to allow programmers to write and read code in a manner that is easily understood. Thus, the programmer is allowed to use characters like ‘+’ for addition, and allowed use of more powerful forms, such as adding more than two operands as shown in statement 1800.

[0219] Statements 1802-1806 are an IR representation of statement 1800 that represents the same functionality, but does so in a format closer to that as would be understood by a computer and yet is still architecture independent. Statement 1802 uses an ‘ADD’ command to add a first and second variable and assigns the result to a first temporary variable t1. Statement 1804 then uses another ‘ADD’ command to add t1 to the third variable and assigns the result to a second temporary variable t2. Statement 1806 then assigns the value of t2 to the result variable z using an ‘ASSIGN’ instruction.

[0220] Statements 1808-1812 are a native code representation of the IR in statements 1802-1806. Statement 1808 uses an add instruction specific to the Intel® x86 architecture to add the values of two variables stored at specified registers and stores the result in a register assigned to a temporary variable t1. Statement 1810 uses the add instruction specific to the Intel® x86 architecture to add the values of t1 and a third variable stored at the specified registers and stores the result in the specified register (EAX) assigned to t2. Statement 1812 then uses a move instruction specific to the Intel® x86 architecture to move the value stored in EAX to the output variable z.

[0221] While a standard native. code compiler converts source to an IR, and then IR to native code, there are many other types of conversions that occur in various tools. For instance, Just-in-Time and Pre Just-in-Time compilers convert an IR to native code. Some optimizers can convert native code into an IR for optimization, and then convert the IR back to native code.

[0222] Therefore, an IR is the common denominator in the components that make up compilers and programming tools. Such components translate from IR to both assembly (text) and binary, and also from assembly and binary to IR. FIG. 19 shows this relationship. The IR referred to herein can be common and compatible across numerous platforms.

Exemplary Intermediate Representation (“IR”)

[0223] The technologies described herein can use an IR that is common across platforms. Assembly and binary formats can be transformed into the IR and then IR into assembly and binary. Therefore, a target architecture specification language is provided which can be used to efficiently to describe the IR, assembly and binary grammars. The automated software development tool generator accepts a specification and generates grammars to integrate into the common framework.

[0224] In one embodiment, translating IR into assembly and binary can be accomplished programmatically and parsing assembly and decoding binary into IR is a grammatical process. The retargeting tool generates functions that correspond to the grammatical elements of the retargeting specification. The description file format is geared toward associating the assembly and binary representations with the corresponding IR. A parameterized grammar can be at the center of this association.

[0225] With respect to the IR, exemplary components can include assembly components (e.g., for assembling instructions from assembly text into an intermediate representation), disassembly components (e.g., for listing an intermediate instruction as assembly text), encoding components (e.g., for encoding an intermediate representation instruction as binary), decoding components (e.g., for decoding instructions from binary to an intermediate representation), opcode selection components (e.g., for selecting an intermediate representation opcode), instruction legalization components (e.g., for enforcing instruction limitations), and various machine-specific tables (e.g., opcode, legalization, and register tables).

[0226] The automated software development tool generator can use a common IR for definition and construction of the various components. The target architecture specification can be processed such that assembly and binary formats can be translated into the IR and IR into assembly and binary.

Exemplary Operating Environment

[0227]FIG. 20 illustrates an example of a computer system that serves as an operating environment for implementing the described system, tool, language, and methods. The computer system includes a computer 2020, including a processing unit 2021, a system memory 2022, and a system bus 2023 that interconnects various system components including the system memory to the processing unit 2021. The system bus may comprise any of several types of bus structures including a memory bus or memory controller, a peripheral bus, and a local bus using a bus architecture such as PCI, VESA, Microchannel (MCA), ISA and EISA, to name a few. The system memory includes read only memory (ROM) 2024 and random access memory (RAM) 2025. A basic input/output system 2026 (BIOS), containing the basic routines that help to transfer information between elements within the personal computer 2020, such as during start-up, is stored in ROM 2024. The personal computer 2020 further includes a hard disk drive 2027, a magnetic disk drive 2028, e.g., to read from or write to a removable disk 2029, and an optical disk drive 2030, e.g., for reading a CD-ROM disk 2031 or to read from or write to other optical media. The hard disk drive 2027, magnetic disk drive 2028, and optical disk drive 2030 are connected to the system bus 2023 by a hard disk drive interface 2032, a magnetic disk drive interface 2033, and an optical drive interface 2034, respectively. The drives and their associated computer-readable media provide nonvolatile storage of data, data structures, computer-executable instructions (program code such as dynamic link libraries, and executable files), etc. for the personal computer 2020. Although the description of computer-readable media above refers to a hard disk, a removable magnetic disk and a CD, it can also include other types of media that are readable by, a computer, such as magnetic cassettes, flash memory cards, digital video disks, Bernoulli cartridges, and the like.

[0228] A number of program modules may be stored in the drives and RAM 2025, including an operating system 2035, one or more application programs 2036, other program modules 2037, and program data 2038. A user may enter commands and information into the personal computer 2020 through a keyboard 2040 and pointing device, such as a mouse 2042. Other input devices (not shown) may include a microphone, joystick, game pad, satellite dish, scanner, or the like. These and other input devices are often connected to the processing unit 2021 through a serial port interface 2049 that is coupled to the system bus, but may be connected by other interfaces, such as a parallel port, game port or a universal serial bus (USB). A monitor 2047 or other type of display device is also connected to the system bus 2023 via an interface, such as a display controller or video adapter 2048. In, addition to the monitor, personal computers typically include other peripheral output devices (not shown), such as speakers and printers.

[0229] The personal computer 2020 may operate in a networked environment using logical connections to one or more remote computers, such as a remote computer 2049. The remote computer 2049 may be a server, a router, a peer device or other common network node, and typically includes many or all of the elements described relative to the personal computer 2020, although only a memory storage device 2050 has been illustrated in FIG. 20. The logical connections depicted in FIG. 20 include a local area network (LAN) 2051 and a wide area network (WAN) 2052. Such networking environments are commonplace in offices, enterprise-wide computer networks, intranets and the Internet.

[0230] When used in a LAN networking environment, the personal computer 2020 is connected to the local network 2051 through a network interface or adapter 2053. When used in a WAN networking environment, the personal computer 2020 typically includes a modem 2054 or other means for establishing communications over the wide area network 2052, such as the Internet. The modem 2054, which may be internal or external, is connected to the system bus 2023 via the serial port interface 2046. In a networked environment, program modules depicted relative to the personal computer 2020, or portions thereof, may be stored in the remote memory storage device. The network connections shown are merely examples and other means of establishing a communications link between the computers may be used.

Exemplary Alternatives

[0231] Having illustrated and described the principles of the illustrated embodiments, the embodiments can be modified in arrangement and detail without departing from such principles.

[0232] In view of the many possible embodiments, it will be recognized that the illustrated embodiments include only examples and should not be taken as a limitation on the scope of the invention. Rather, the invention is defined by the following claims. I therefore claim as the invention all such embodiments that come within the scope of these claims. 

I claim:
 1. A system for auto-generating code generation software development tool components, the system comprising: one or more frameworks describing one or more architecture-independent features for a plurality of software development tool components; and a component generation tool for processing a specification describing a target architecture and the frameworks; wherein the tool is operable to generate software development tool component data from which the plurality of software development tool components can be generated.
 2. The system of claim 1 further comprising: a compiler for generating a software development tool from the software development tool component data.
 3. The system of claim 1 wherein the component generation tool is operable to process a second specification describing a second target architecture to generate software development component data appropriate for the second target architecture.
 4. The system of claim 1 further comprising custom code for implementing features for the target architecture.
 5. The system of claim 1 wherein the software development tool component data relates to a compiler component.
 6. The system of claim 1 wherein the software development tool component data relates to a component for inclusion in a plurality of software development tools.
 7. The system of claim 1 wherein the software development tool component data comprises an instruction legalization table.
 8. The system of claim 1 wherein the target architecture is a computer processor architecture.
 9. The system of claim 1 wherein the target architecture is a virtual machine.
 10. The system of claim 1 wherein the specification describes the target architecture by equating assembly and binary forms to each of a plurality of intermediate representation forms.
 11. The system of claim 1 wherein the specification describes the target architecture by listing register and instruction data for the environment.
 12. The system of claim 1 wherein the software development tool component data comprises target architecture-specific data for at least one of the following: an assembler, a disassembler, an encoder, a decoder, and an instruction legalizer.
 13. The system of claim 1 wherein the software development tool component data comprises target architecture-specific data for an assembler, a disassembler, an encoder, a decoder, and an instruction legalizer.
 14. A computer-readable medium comprising: computer-executable instructions in a language for representing a target architecture; wherein the instructions are sufficient for generating software development tool components for the target architecture.
 15. The computer-readable medium of claim 14 wherein the instructions comprise a plurality of intermediate representation instructions associated with both an assembly language form and a binary form.
 16. The computer-readable medium of claim 14 further comprising data describing register and memory information for the target architecture.
 17. The computer-readable medium of claim 14 further comprising expansions for implementing intrinsic functions and general instruction sequences.
 18. The computer-readable medium of claim 14 wherein the intermediate representation instructions are presented in a legal form.
 19. The computer-readable medium of claim 14 further comprising configuration data relating to the target architecture.
 20. A tool for auto-generating code generation components, the tool comprising: a means for receiving a specification describing a code execution environment; a means for creating source code describing one or more code generation components from the specification; a means for integrating the source code into one or more frameworks; and a means for creating one or more code generation components from the integrated framework.
 21. The tool of claim 20, wherein the tool is operable to receive a second specification for describing code generation components in an environment-independent manner.
 22. The tool of claim 20 further comprising a means for integrating custom code into the framework.
 23. The tool of claim 20 wherein the one or more code generation components comprise a compiler targeted to the code execution environment described in the specification.
 24. The tool of claim 20 wherein the specification comprises data associating legal intermediate representation instruction forms with a legal binary form and legal text form.
 25. The tool of claim 20 wherein the source code describing one or more code generation components contains information specific to the code execution environment necessary for creating the one or more code generation components.
 26. The tool of claim 20 wherein the framework comprises source code representing the one or more code generation components in a manner generic to any one specific programming environment.
 27. A method for auto-generating code generation components of a target compiler for a target architecture, the method comprising: providing a specification describing the target architecture; creating one or more descriptions of compiler components from the specification; creating a target compiler description comprising the one or more descriptions and one or more frameworks; and creating a target compiler from the target compiler description.
 28. The method of claim 27 further comprising providing a second specification unrelated to the target architecture.
 29. The method of claim 27 wherein the target compiler description further comprises custom source code.
 30. The method of claim 27 wherein the specification relates legal forms of an intermediate representation to appropriate binary and assembly forms.
 31. The method of claim 27 wherein the one or more descriptions contain data relating to one or more code generation components specific to the target architecture.
 32. The method of claim 27 wherein the frameworks contain data relating to one or more code generation components non-specific to the target architecture.
 33. The method of claim 32 wherein the target architecture is a computer processor architecture.
 34. A method of retargeting a compiler from a first architecture to a second architecture comprising: creating a first specification describing the first architecture; creating a framework describing software development tool components in an architecture-independent manner; creating a first compiler targeted to the first architecture from a combination of the first specification and the framework; creating a second specification describing the second architecture; and creating a second compiler targeted to the second architecture from a combination of the second specification and the framework.
 35. The method of claim 34 wherein the first and second specifications contain data for creating a plurality of software development tool components targeted to a specific architecture.
 36. The method of claim 35 wherein the data comprises intermediate representation, binary and assembly language forms of machine instructions.
 37. A method for updating targeted compilers, the method comprising the following: a) providing a specification describing a target architecture; b) parsing the specification to create data relating to a plurality of software development tool components; c) combining the data relating to a plurality of software development tool components with data relating to a common framework; d) compiling the combined data to create a targeted compiler comprising software development tool components; e) updating at least one of the data relating to the common framework and the specification; and f) reprocessing steps a)-d) using either the updated common framework or specification.
 38. An automated method of generating a software development tool, the method comprising: reading by software of a target architecture specification for a target architecture, wherein the target architecture specification comprises definitions of architecture-specific features sufficient to inform construction of any of a plurality of software development tool components so that they function properly for the target architecture; generating by software a plurality of software development tool components based at least on part on the target architecture specification; and integrating by software the software development tool components to generate a software development tool for the target architecture.
 39. One or more computer readable media comprising computer-executable instructions for performing the method of claim
 38. 